Capturing Timing Requirements Formally in Amn
نویسندگان
چکیده
This paper classi es the timing requirements that arise in embedded avionics systems. A typical avionics system motivates the work. Its timed specication is presented, from which we extract guiding principles for developing Timed Abstract Systems. A discussion focuses on the insights that can be gained when modelling the timed requirements formally within AMN.
منابع مشابه
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modijied or upgraded on a regular basis, ...
متن کاملCapturing Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modified or upgraded on a regular basis, ...
متن کاملPositron: Composing Commitment Protocols
We consider (commitment) protocols specified formally in terms of their roles, their messages, and the meanings of their messages (expressed as commitments). In an important advance over previous work, we show how to compose protocols, thereby facilitating reuse. We address two role-specific aspects of composition: (1) role requirements, capturing the benefits a role receives from the composite...
متن کاملMouse amnionless, which is required for primitive streak assembly, mediates cell-surface localization and endocytic function of cubilin on visceral endoderm and kidney proximal tubules.
Impaired primitive streak assembly in the mouse amnionless (amn) mutant results in the absence of non-axial trunk mesoderm, a derivative of the middle region of the primitive streak. In addition, the epiblast of amn mutants fails to increase significantly in size after E7.0, indicating that middle primitive streak assembly is mechanistically tied to the growth of the embryo during gastrulation....
متن کاملDevelopmental expression of an amn(+) transgene rescues the mutant memory defect of amnesiac adults.
The Drosophila memory gene amnesiac (amn) has been proposed to encode a neuropeptide protein, which includes regions homologous to vertebrate pituitary adenylyl cyclase-activating peptide (PACAP; Feany and Quinn, 1995). Definitive experiments to link this gene to memory formation, however, have not yet been accomplished (Kandel and Abel, 1995). The experiments described here demonstrate that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999